Andrej Bauer: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Five stages of accepting constructive mathematics

Journal:

Bulletin of the American Mathematical Society

Year:

2016

Language:

english

File:

PDF, 237 KB

english, 2016

2

Equilogical spaces

Andrej Bauer, Lars Birkedal, Dana S. Scott

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 340 KB

english, 2004

3

Programming with algebraic effects and handlers

Bauer, Andrej, Pretnar, Matija

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 757 KB

english, 2015

4

First Steps in Synthetic Computability Theory

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 391 KB

english, 2006

5

SIMILARITY-BASED RELATIONS IN DATALOG PROGRAMS

HAJDINJAK, MELITA, BAUER, ANDREJ

Journal:

International Journal of Uncertainty Fuzziness and Knowledge-Based Systems

Year:

2012

Language:

english

File:

PDF, 407 KB

english, 2012

6

On the Bourbaki–Witt principle in toposes

BAUER, ANDREJ, LUMSDAINE, PETER LEFANU

Journal:

Mathematical Proceedings of the Cambridge Philosophical Society

Year:

2013

Language:

english

File:

PDF, 306 KB

english, 2013

7

Smartcoil – Design, assembly and test of a 10 MVA superconducting air coil fault current limiter

Kudymow, Andrej, Bauer, Anne, Elschner, Steffen, Goldacker, Wilfried, Kraemer, Hans-Peter, Noe, Mathias, Strauss, Severin, Schacherer, Christian

Journal:

Superconductor Science and Technology

Year:

2019

Language:

english

File:

PDF, 1.18 MB

english, 2019

8

Influence of Olive Oil Press Cakes on Shiitake Culinary-Medicinal Mushroom, Lentinus edodes (Berk.) Singer (Higher Basidiomycetes) Fruiting Bodies Production and Effect of their Crude Polysaccharides on CCRF-CEM Cell Proliferation

Gregori, Andrej, Kretschmer, Nadine, Wagner, Susanne, Boechzelt, Herbert, Klinar, Dusan, Bauer, Rudolf, Pohleven, Franc

Journal:

International Journal of Medicinal Mushrooms

Year:

2012

File:

PDF, 819 KB

2012

9

A Relationship between Equilogical Spaces and Type Two Effectivity

Journal:

Mathematical Logic Quarterly

Year:

2002

Language:

english

File:

PDF, 272 KB

english, 2002

10

Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability

Andrej Bauer, Alex Simpson

Journal:

Mathematical Logic Quarterly

Year:

2004

Language:

english

File:

PDF, 294 KB

english, 2004

11

Multibasic and Mixed Hypergeometric Gosper-Type Algorithms

Andrej Bauer, Marko Petkovšek

Journal:

Journal of Symbolic Computation

Year:

1999

Language:

english

File:

PDF, 498 KB

english, 1999

12

A constructive theory of continuous domains suitable for implementation

Andrej Bauer, Iztok Kavkler

Journal:

Annals of Pure and Applied Logic

Year:

2009

Language:

english

File:

PDF, 1011 KB

english, 2009

13

On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 267 KB

english, 2009

14

A Relationship between Equilogical Spaces and Type Two Effectivity

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 234 KB

english, 2001

15

Equilogical spaces and domains with totality

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

File:

PDF, 29 KB

2000

16

Sheaf toposes for realizability

Steven Awodey, Andrej Bauer

Journal:

Archive for Mathematical Logic

Year:

2008

Language:

english

File:

PDF, 230 KB

english, 2008

17

Specifications via Realizability

Andrej Bauer, Christopher A. Stone

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 284 KB

english, 2006

18

Implementing Real Numbers With RZ

Andrej Bauer, Iztok Kavkler

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 352 KB

english, 2008

19

Preface

Andrej Bauer, Michael Mislove

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 115 KB

english, 2008

20

Analytica – An Experiment in Combining Theorem Proving and Symbolic Computation

Andrej Bauer, Edmund Clarke, Xudong Zhao

Journal:

Journal of Automated Reasoning

Year:

1998

Language:

english

File:

PDF, 152 KB

english, 1998

21

Metric spaces in synthetic topology

Andrej Bauer, Davorin Lešnik

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 308 KB

english, 2012

22

Preface

Andrej Bauer, Thierry Coquand, Giovanni Sambin, Peter M. Schuster

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 126 KB

english, 2012

23

On the failure of fixed-point theorems for chain-complete lattices in the effective topos

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 237 KB

english, 2012

24

A non-commutative Priestley duality

Bauer, Andrej, Cvetko-Vah, Karin, Gehrke, Mai, van Gool, Samuel J., Kudryavtseva, Ganna

Journal:

Topology and its Applications

Year:

2013

Language:

english

File:

PDF, 361 KB

english, 2013

25

Cartesian closed categories of separable Scott domains

Bauer, Andrej, Plotkin, Gordon D., Scott, Dana S.

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 644 KB

english, 2014

26

The pH dependence of Am(III) complexation with acetate: an EXAFS study

Fröhlich, Daniel R., Skerencak-Frech, Andrej, Bauer, Nicole, Rossberg, André, Panak, Petra J.

Journal:

Journal of Synchrotron Radiation

Year:

2015

Language:

english

File:

PDF, 567 KB

english, 2015

27

The Dedekind reals in abstract Stone duality

BAUER, ANDREJ, TAYLOR, PAUL

Journal:

Mathematical Structures in Computer Science

Year:

2009

Language:

english

File:

PDF, 740 KB

english, 2009

28

An injection from the Baire space to natural numbers

Journal:

Mathematical Structures in Computer Science

Year:

2015

Language:

english

File:

PDF, 74 KB

english, 2015

29

SmartCoil - Concept of a full Scale Demonstrator of a Shielded Core Type Superconducting Fault Current Limiter

Schacherer, Christian, Bauer, Anne, Elschner, Steffen, Goldacker, Wilfried, Kraemer, Hans-Peter, Kudymow, Andrej, Nackel, Oliver, Strauss, Severin, Zermeno, Victor M. R.

Journal:

IEEE Transactions on Appiled Superconductivity

Year:

2016

Language:

english

File:

PDF, 697 KB

english, 2016

30

[ACM Press the 6th ACM SIGPLAN Conference - Paris, France (2017.01.16-2017.01.17)] Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2017 - The HoTT library: a formalization of homotopy type theory in Coq

Bauer, Andrej, Gross, Jason, Lumsdaine, Peter LeFanu, Shulman, Michael, Sozeau, Matthieu, Spitters, Bas

Year:

2017

Language:

english

File:

PDF, 191 KB

english, 2017

31

Different RNA and protein expression of surface markers in rabbit amniotic fluid-derived mesenchymal stem cells

Kovac, Michal, Vasicek, Jaromir, Kulikova, Barbora, Bauer, Miroslav, Curlej, Jozef, Balazi, Andrej, Chrenek, Peter

Journal:

Biotechnology Progress

Year:

2017

Language:

english

File:

PDF, 1.89 MB

english, 2017

32

Geckos from the middle Miocene of Devínska Nová Ves (Slovakia): new material and a review of the previous record

Čerňanský, Andrej, Daza, Juan D., Bauer, Aaron M.

Journal:

Swiss Journal of Geosciences

Year:

2018

Language:

english

File:

PDF, 3.69 MB

english, 2018

33

On fixed-point theorems in synthetic computability

Journal:

Tbilisi Mathematical Journal

Year:

2017

Language:

english

File:

PDF, 506 KB

english, 2017

34

A “Crossomics” Study Analysing Variability of Different Components in Peripheral Blood of Healthy Caucasoid Individuals

Gruden, Kristina, Hren, Matjaž, Herman, Ana, Blejec, Andrej, Albrecht, Tanja, Selbig, Joachim, Bauer, Chris, Schuchardt, Johannes, Or-Guil, Michal, Zupančič, Klemen, Švajger, Urban, Štabuc, Borut, Iha

Journal:

Year:

2012

Language:

english

File:

PDF, 558 KB

english, 2012

35

Euleptes gallica Müller (Squamata: Gekkota: Sphaerodactylidae) from the Lower Miocene of North-West Bohemia, Czech Republic

Čerňanský, Andrej, Bauer, Aaron M.

Journal:

Folia Zoologica

Year:

2010

Language:

english

File:

PDF, 761 KB

english, 2010

36

Smartcoil – Design, assembly and test of a 10 MVA superconducting air coil fault current limiter

Kudymow, Andrej, Bauer, Anne, Elschner, Steffen, Goldacker, Wilfried, Kraemer, Hans-Peter, Noe, Mathias, Strauss, Severin, Schacherer, Christian

Journal:

Superconductor Science and Technology

Year:

2019

File:

PDF, 1.18 MB

2019

37

Combined approach for characterization and quality assessment of rabbit bone marrow-derived mesenchymal stem cells intended for gene banking

Vašíček, Jaromír, Kováč, Michal, Baláži, Andrej, Kulíková, Barbora, Tomková, Mária, Olexíková, Lucia, Čurlej, Jozef, Bauer, Miroslav, Schnabl, Susanne, Hilgarth, Martin, Hubmann, Rainer, Shehata, Medh

Journal:

New Biotechnology

Year:

2019

Language:

english

File:

PDF, 3.94 MB

english, 2019

38

Evidence gap on antihyperglycemic pharmacotherapy in frail older adults; Evidenzmangel fÃ¼r die antihyperglykÃ¤mische Pharmakotherapie gebrechlicher Ã¤lterer Patienten;

Bollig, Claudia, Torbahn, Gabriel, Bauer, JÃ¼rgen, Brefka, Simone, Dallmeier, Dhayana, Denkinger, Michael, Eidam, Annette, KlÃ¶ppel, Stefan, Zeyfang, Andrej, Voigt-Radloff, Sebastian

Journal:

Zeitschrift für Gerontologie und Geriatrie

Year:

2020

File:

PDF, 377 KB

2020

39

Ecosystem Services, Physiology, and Biofuels Recalcitrance of Poplars Grown for Landfill Phytoremediation

Jr., Ronald S. Zalesny, Zhu, J. Y., Headlee, William L., Gleisner, Roland, PilipoviÄ, Andrej, Acker, Joris Van, Bauer, Edmund O., Birr, Bruce A., Wiese, Adam H.

Journal:

Year:

2020

File:

PDF, 1.68 MB

2020